monoidal product